tools-xenpaging-prefix.diff
authorBastian Blank <waldi@debian.org>
Sat, 5 Jul 2014 09:47:08 +0000 (11:47 +0200)
committerIan Jackson <Ian.Jackson@eu.citrix.com>
Mon, 23 Jan 2017 16:23:57 +0000 (16:23 +0000)
commit6566733aebb9e3bfd448434762fe15e6de6ec927
tree1662b07315177abdafbf9f0dd6a719a3e3358660
parent61efe37be33cc79b1c0ec9e9f337aeb54dde9f08
tools-xenpaging-prefix.diff

Patch-Name: tools-xenpaging-prefix.diff

Gbp-Pq: Name tools-xenpaging-prefix.diff
tools/xenpaging/Makefile